Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Sat, 29 Nov 2025 18:56:59 +0000 (19:56 +0100)
committerMatthias Klose <doko@ubuntu.com>
Sat, 29 Nov 2025 18:56:59 +0000 (19:56 +0100)
commit3f4bbbf8cf7f9bae5b944b12dac04aa42cafd0b5
tree30394d3cfdade9670399595628973334ada7cc99
parente841ea055fec8d29aad94ed51b75578296435e43
Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOCH is specified

Forwarded: no

Gbp-Pq: Name reproducible-properties-timestamp.diff
src/java.base/share/classes/java/util/Properties.java